Voer een woord of zin in in een taal naar keuze 👆
Taal:
Vertaling en analyse van woorden door kunstmatige intelligentie ChatGPT
Op deze pagina kunt u een gedetailleerde analyse krijgen van een woord of zin, geproduceerd met behulp van de beste kunstmatige intelligentietechnologie tot nu toe:
- hoe het woord wordt gebruikt
- gebruiksfrequentie
- het wordt vaker gebruikt in mondelinge of schriftelijke toespraken
- opties voor woordvertaling
- Gebruiksvoorbeelden (meerdere zinnen met vertaling)
- etymologie
Wat (wie) is de Bruijn notation - definitie
ALTERNATIVE POSTFIX NOTATION FOR LAMBDA CALCULUS
De bruijn notation
De Bruijn notation
<language> A variation of lambda notation for specifying
functions using numbers instead of names to refer to {formal
parameters}. A reference to a formal parameter is a number
which gives the number of lambdas (written as here) between
the reference and the lambda which binds the parameter.
E.g. the function f . x . f x would be written . . 1
0. The 0 refers to the innermost lambda, the 1 to the next
etc. The chief advantage of this notation is that it avoids
the possibility of name capture and removes the need for {alpha
conversion}.
[N.G. De Bruijn, "Lambda Calculus Notation with Nameless
Dummies: A Tool for Automatic Formula Manipulation, with
Application to the Church-Rosser Theorem", Indag Math. 34, pp
381-392 ].
(2003-06-15)
De Bruijn notation
In mathematical logic, the De Bruijn notation is a syntax for terms in the λ calculus invented by the Dutch mathematician Nicolaas Govert de Bruijn. It can be seen as a reversal of the usual syntax for the λ calculus where the argument in an application is placed next to its corresponding binder in the function instead of after the latter's body.
Hans de Bruijn
DUTCH POLITICAL SCIENTIST AND PROFESSOR OF PUBLIC ADMINISTRATION AT DELFT UNIVERSITY OF TECHNOLOGY, KNOWN BY HIS WORK IN THE FIELD OF PROCESS MANAGEMENT
Johan Adam de Bruijn; De Bruijn, Hans; Bruijn, Johan Adam
Johan Adam (Hans) de Bruijn (born 1 September 1962) is a Dutch political scientist and Professor of Public Administration at Delft University of Technology, known by his work in the field of process management.Peter Hupe (2007).
Wikipedia
De Bruijn notation
In mathematical logic, the De Bruijn notation is a syntax for terms in the λ calculus invented by the Dutch mathematician Nicolaas Govert de Bruijn. It can be seen as a reversal of the usual syntax for the λ calculus where the argument in an application is placed next to its corresponding binder in the function instead of after the latter's body.
